<?php

if(!file_exists("score.txt")) {
    file_put_contents("score.txt",0);
    file_put_contents("author.txt","personne");
}


$bestScore = file_get_contents('score.txt');
$bestAuthor = file_get_contents('author.txt');


if($_GET['score']) {


    $score = $_GET['score'] ;
    $author = $_GET['author'] ;
    if($score>$bestScore) {
        file_put_contents("score.txt",$score);
        file_put_contents("author.txt",$author);
        $bestAuthor = $author ;
        $bestScore = $score ;
    }


}

echo "$bestAuthor:$bestScore";